On judging the situation in proof theoretical research (with discussion) (1954)
نویسنده
چکیده
When I speak here in brief about the situation in proof theoretic research, it appears appropriate to remind ourselves of what is characteristic of this research: it is the systematic investigation of the kinds of applications and the consequences of logical reasoning in the mathematical disciplines, in which the concept formations and the assumptions are fixed in such a way that a strict formalization of the proofs is possible with the help of the means of expression of symbolic logic. As you know, Hilbert stimulated this kind of investigation mainly with regard of the questions of consistency. But he also has envisaged from the
منابع مشابه
The investigation of quality in Zahedan University of Medical Sciences from students’ view points and solution to improve the situation
Introduction. One of the issues which is usually evaluated in higher education systems is the process of teaching and the situation of the graduates. Students' views are a matter which is always taken in to consideration. Methods. This qualitative research on the situation of theoretic and practical training, training material and students' role, was conducted in the form of focus group discu...
متن کاملLactoferrin as a Marker of Systemic Inflammatory Response
Materials and methods. 51 patients, who were ill with generalized peritonitis, went through a prospective randomized research. They were randomized on groups depending on the objective score SAPS (1984): 29 survived people (53%) and 22 people with favorable end (47%). Intensive care and surgical tactics standardized patients. Lactoferrin (LF) as modulator of systemic inflammatory response (SIR)...
متن کاملرده بندیهای مردمی در مقابل واژگان مهار شده: رویکردهای نظری
The purpose is review the literature to identify the epistemological and theoretical approach to the folksonomies and compare them with the theoretical foundations of controlled vocabularies. This paper is a library research. A review of the literature, identify and review theoretical approaches related to the folksonomies includes Critical social theory, Social constructivism, Relativism, Derr...
متن کاملSimilarity, causality and argumentation
Similarity is a notion that is widely used both in cognitive science and in argumentation theory. These research programs have, however, developed in large part separately and in consequence rely on disparate notions of similarity. Only recently there has been a proposal for specifying how similarity actually plays a role in judging slippery slope arguments. We present here further theoretical ...
متن کاملProof and policy from medical research evidence.
When judging the benefits and harms of health care and predicting patient prognosis, clinicians, researchers, and others must consider many types of evidence. Medical research evidence is part of the required knowledge base, and practitioners of evidence-based medicine must attempt to integrate the best available clinical evidence from systematic research with health professionals' expertise an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001